@echo " +———————-+" @echo " | Vita is in vita.dvi. |" @echo " +———————-+"

clean: -rm -f *% core *.log

virgin: clean -rm -f vita.dvi vita.pubs vita.ref publist.dvi publist.tex

vita.dvi: $(VITATEX) vita.pubs # @if (-f vita.dvi) chmod u+w vita.dvi;

This document was generated on January 31, 2023 using texi2html 5.0.